Stichworte: Deadlock example